wayland: Use event->key.time for setting key event time
authorKristian Høgsberg <krh@bitplanet.net>
Mon, 26 May 2014 21:45:21 +0000 (14:45 -0700)
committerKristian Høgsberg <krh@bitplanet.net>
Tue, 27 May 2014 17:24:34 +0000 (10:24 -0700)
We were using event->button.time before. That works because it's part of
the common event header, but it's wrong.

gdk/wayland/gdkdevice-wayland.c

index 0f0cf67a2bbaf6eec0bba1cd81dd38fee156b901..5cde19f9f9a0964294d9524af3e01309d20f3e78 100644 (file)
@@ -1129,7 +1129,7 @@ deliver_key_event (GdkWaylandDeviceData *device,
   event->key.window = device->keyboard_focus ? g_object_ref (device->keyboard_focus) : NULL;
   gdk_event_set_device (event, device->master_keyboard);
   gdk_event_set_source_device (event, device->keyboard);
-  event->button.time = time_;
+  event->key.time = time_;
   event->key.state = device->modifiers;
   event->key.group = 0;
   event->key.hardware_keycode = key;